Models and Algorithms for Alignment of Biological Networks