Budget 2023: Defence budget hiked by 12.95 percent to Rs 5.94 lakh crore