President George W. Bush undergoes heart procedure