Synthesizing Neural Network Controllers with Closed-Loop Dissipativity Guarantees