Formation and electronic properties of erbium silicide on Si(100)