Introduction to cirquent calculus and abstract resource semantics