Mathematical model of in-line manufacturing of sections in a flexible shipyard production system | Synapse