Video and pictures: Prince Philip, The Duke of Edinburgh’s ceremonial funeral