Mozilla appoints new CEO Anthony Enzor-Demeo