High-quality focused-ion-beam-made mirrors for InGaP/InGaAlP visible-laser diodes