Evidence for trimer reconstruction of Si(111) √3×√3 -Sb: Scanning tunneling microscopy and first-principles theory