Britain's Prince Philip undergoes minor procedure