Jai Singh II, le maharaja astronome