Text this: Total sleep time in Muslim football players is reduced during Ramadan