India’s national defence budget doubles over past decade to $80 billion on higher defence deeptech spending