Formality of the framed little 2-discs operad and semidirect products