Structure of the arm-type binding domain of HAI7 integrase