Physics-informed Gaussian Processes for Safe Envelope Expansion