The mechanism of ϕC31 integrase directionality: experimental analysis and computational modelling