Virginia Beach shooting: Disgruntled city employee kills 12; suspect also killed