Describir: Constrained Quaternion Attitude Control of Satellites via Semi-Definite Programming