NBC: Top-ranked Ash Barty stuns tennis world, retires at 25