Threshold-linear formal neurons in auto-associative nets