What is the hose diameter for this pool? I would just like to buy a sand filter pump and would need to know if they are compatible.