Dealing with stock options and restricted stock in a divorce