A Mathematical Model of Melt Lake Formation on an Ice Shelf