Introduction to Piecewise-Linear Topology