Australian Open champion Jannik Sinner moves into the Miami semi-finals by ending Czech opponent Tomas Machac’s stunning run.