On the solution of nonconvex cardinality Boolean quadratic programming problems: a computational study