X-ray total-external-reflection–Bragg diffraction: A structural study of the GaAs-Al interface | Synapse