Who finished construction of a 40,000-tonne Vikrant-class carrier in 2009