Dollar General selects DemandTec to optimize pricing