There are about __________________ professional actors who perform and teach Noh drama in Japan today.