how thick should batting be