Average cost of inground pool installation