Radiation belt electron precipitation due to VLF transmitters: Satellite observations