High-efficiency conversion of glycerol to D-lactic acid with metabolically engineered Escherichia coli