An exact solution to simultaneous technology mapping and linear placement problem