ShoreTel passes 10,000 enterprise customers