What should be the optimal daily dose of vitamin D3 supplementation for an adult?