The effect on sleep of nocturnal exposure to noise and vibration from rail traffic