Title: Positronium formation and dynamics in aluminium oxide