Surface states and Fermi-level pinning at clean and Al covered GaN surfaces