Philippine mines bureau boss sees end to open-pit mining ban