Modeling the interplay between the HIF-1 and p53 pathways in hypoxia