World's first precision formation-flying mission, Proba-3 launched by ISRO