A Quantitative Landauer's Principle