Exploiting symmetry in SAT-based Boolean matching for heterogeneous FPGA technology mapping