What is the minimum number of formal observations typically required for an ATC intern in Texas during the internship year?