Prabhudas Lilladher maintains buy on IRCTC, sets Rs 712 target