Mitel Completes Acquisition of ShoreTel