how does a green sand filter work