Manufacturing algebra. Part I: modelling principles and case study