The oxygen isotope effect in Ba0.625K0.375BiO3