Os petróleos em Portugal: do Estado à privatização 1937-2012