$515 million Mega Millions winning ticket sold in Pennsylvania — ninth largest in lotto's history