A unified approach to the modelling of holonomic and nonholonomic mechanical systems