The BJT Transistor in Saturation