Topology optimization involving discrete variables