GIP and GLP-1 as incretin hormones: lessons from single and double incretin receptor knockout mice