Prince Philip’s funeral: Duke of Edinburgh is laid to rest in Windsor