Numerical And Theoretical Treatment Of Grounding Line Movement And Ice Shelf Buttressing In Marine Ice Sheets