us forex holidays 2017 how much stock options does amazon give employees