Firefox OS phone launches Tuesday in Spain