Javascript setTimeout(): when is the callback executed?