Curing boredom with boring activities