Mozilla hires new CEO who will focus on Firefox OS