An Efficient GPU-based de Bruijn Graph Construction Algorithm for Micro-Assembly