Relief to mining companies as Supreme Court allows export of iron ore lying at Goa port