Existence and linearization for the Souza-Auricchio model at finite strain