Continuous-time modeling and global optimization approach for scheduling of crude oil operations