Modelling high-resolution ALMA observations of strongly lensed highly star-forming galaxies detected by Herschel