options for pool decking Japan