Gravitational lensing reveals extreme dust-obscured star formation in quasar host galaxies