Physarum can compute shortest paths: Convergence proofs and complexity bounds