Energy for biologic sulfate reduction in a hydrothermally formed ocean on Europa