Efficient methods for read mapping