A framework for description of autonomous ship systems and operations