Theory of coherent optical control of exciton spin dynamics in a semiconductor dot