More than 700 officers deployed around Villa Park in massive policing operation for Europa League tie