Graph-based Logic and Sketches Ii: Finite-product Categories and Equational Logic (preliminary Report)