Battery-backed power supplies