Pres. George W. Bush recovering after stent procedure