Europan tidal deformation: Providing a theoretical framework for altimetry data to determine ocean presence