Records show neglect of Florida school gunman’s mental health