Building a model of vertical movement of the aircraft carrier deck based on the method of group consideration of arguments