Distribution of lifetime of smart phone battery