Lab-Scale Numerical Simulation of SAGD Process in the Presence of Top Thief Zones: A Mechanistic Study