When should I use Welsh / Powell and when should I use DSATUR? For what kind of graph does each algorithm work best?