EFX Allocations Exist for Binary Valuations