There’s now a formal proposal for a rainbow flag emoji