Network Tomography: Identifiability, Measurement Design, and Network State Inference