A mechanistic computational model of the HIF signaling pathway in endothelial cells | Synapse