10 quick key points from the Budget 2020