Efficient short-term scheduling of refinery operations based on a continuous time formulation