Mathematical modelling, design and scale-up of freeze-drying cycles