Selective Catalytic Reduction of NOx by ammonia: Unraveling the reaction mechanism through ab initio simulations