Brendan Eich becomes Mozilla CEO