Cocycle Knot Invariants, Quandle Extensions, and Alexander Matrices (Low-Dimensional Topology of Tomorrow)