The case for an ocean-bearing Mimas from tidal heating analysis