Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Log-Space