An Introduction to Neural Network Analysis via Semidefinite Programming