Face stability analysis of circular tunnels in layered rock masses using the upper bound theorem