What are PHP sessions and how do they work?