Ab initio study of oxygen-vacancy LaAlO3(001) surface