The Mathematics of Reservoir Simulation