User behavior in a real-world peer-to-peer electricity market