Mozilla lays off 250 employees — about 25% of its workforce