Lean and zoom: proximity-aware user interface and content magnification