A theoretical investigation of the Holocene development of rock coasts, with particular reference to shore platforms