Gamifying the workplace to make employees more productive