A novel linear motor for a linear refrigeration compressor: modelling, measurement and sensor-less stroke detection