Strong Equivalence for LPMLN Programs