Former US president George Bush senior dies at 94