Matrix product states and projected entangled pair states: Concepts, symmetries, theorems