Onsdagen är Theresa Mays sista dag som premiärminister i Storbritannien, och Boris Johnsons första. Ett skifte som är förenat med en mängd traditioner och rutiner, där drottningen spelar en huvudroll.