Logic-based Task Representation and Reward Shaping in Multiagent Reinforcement Learning