When gunman forced his way into Virginia elementary school, superintendent says lockdown procedures worked