small inconsistencies removed, added \thanks in \author