Ohsawa-Takegoshi $L^2$ Extension Theorem for Smooth Divisors