17-year-old boy charged in stabbing death of 15-year-old girl, Virginia Beach police say