洋風浴槽(ようふうよくそう)とは