Tau appearance in atmospheric neutrino interactions