Computer-Aided Micro-Mechanism Design