Locally s-arc-transitive graphs arising from product action