At 80, is it time for Manmohan Singh to retire?