UK’s Prince Philip undergoes procedure for heart condition