NBC: South Carolina man who killed an off-duty police officer is executed by firing squad