Efficient branch-and-bound techniques for two-locus association mapping