Veteran who shot doctors at Florida VA hospital is sentenced