Working with sets of DateTime intervals in PHP