Former student identified as gunman who killed 10 in school shooting in Austria