How old was King Tut when he became king of Egypt?