Mathematical Analysis of a System for Biological Network Formation