Minimal deadlocks in free choice nets