Why being bored is stimulating – and useful too