Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization