The interaction of a rotating cylinder and an inverted aerofoil in ground effect: validation and verification