Via Score to Performance: Efficient Human-Controllable Long Song Generation with Bar-Level Symbolic Notation