Baikal Electronics: high-performance power-efficient processors