一个正四面体的棱长为，若球与正四面体的六条棱都相切，求这个正四面体外接球的表面积。