Vice President Osinbajo undergoes surgery for leg pain