Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version) (Logical Methods in Computer Science, 2017)