Judge formally sentences Parkland school shooter Nikolas Cruz to life behind bars