Spin-Based Computing: Device Concepts, Current Status, and a Case Study on a High-Performance Microprocessor