Modeling and design for energy-efficient spintronic logic devices and circuits