Abundant phosphorus expected for possible life in Enceladus’s ocean