IOC profit doubles to Rs 4,917 cr in Q3 on inventory gains