A metamorphic origin for Europa's ocean