Mazagon Dock Q3 profit rises 9% YoY; margins soften despite strong revenue growth