Ocean tidal heating in icy satellites with solid shells