Researchers teach elephant to use computer, then prove she can count