20130702 india: India's alternative to GPS successfully put into orbit