Sierra Wireless cuts 10% of its workforce