Lucid Dreaming as a Learnable Skill: A Case Study