A Boolean Task Algebra for Reinforcement Learning