Red carpets are back in full swing, but where does the term come from?