"As a user, I want..." is boring. How to write tickets that engineers actually want to build. The INVEST criteria and the BDD format.