selected publications conference paper Backend compiler phases for trapped-ion quantum computers 2022