Phase-contrast microtomography with coherent high-energy synchrotron x rays